Static program analysis

Results: 262



#Item
151Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3

Cooperation For Better Termination Proving Marc Brockschmidt1 , Byron Cook2 , and Carsten Fuhs3 1 2 3

Add to Reading List

Source URL: www.imn.htwk-leipzig.de

Language: English - Date: 2013-08-26 10:13:12
152Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† ,

Differential Slicing: Identifying Causal Execution Differences for Security Applications Noah M. Johnson† , Juan Caballero‡ , Kevin Zhijie Chen† , Stephen McCamant† , Pongsin Poosankam§† , Daniel Reynaud† ,

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2014-10-30 21:40:55
153Why decompilation? This course is ostensibly about Optimising Compilers. It is really about program analysis and transformation. Decompilation is achieved through analysis and transformation of target code; the transform

Why decompilation? This course is ostensibly about Optimising Compilers. It is really about program analysis and transformation. Decompilation is achieved through analysis and transformation of target code; the transform

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-03-14 06:00:00
154On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises Mario Gleirscher1 , Dmitriy Golubitskiy1 , Maximilian Irlbeck1 , and Stefan Wagner2 1

On the Benefit of Automated Static Analysis for Small and Medium-Sized Software Enterprises Mario Gleirscher1 , Dmitriy Golubitskiy1 , Maximilian Irlbeck1 , and Stefan Wagner2 1

Add to Reading List

Source URL: www.iste.uni-stuttgart.de

Language: English - Date: 2011-09-20 16:23:37
155Visual Lint Squash bugs early with interactive C/C++, C# and Java code analysis for Microsoft Visual Studio and Eclipse If you’ve ever tried to assess the quality of a large codebase, you will know how time consuming a

Visual Lint Squash bugs early with interactive C/C++, C# and Java code analysis for Microsoft Visual Studio and Eclipse If you’ve ever tried to assess the quality of a large codebase, you will know how time consuming a

Add to Reading List

Source URL: www.riverblade.co.uk

Language: English - Date: 2011-04-05 03:43:05
156Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)

Technical reports in Computer and Information Science Report number 2008:3 A Comparative Study of Industrial Static Analysis Tools (Extended Version)

Add to Reading List

Source URL: liu.diva-portal.org

Language: English - Date: 2010-07-16 02:44:55
157Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley

Effective Static Race Detection for Java Mayur Naik Alex Aiken John Whaley

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2007-04-01 19:35:06
158Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed]

Do Static Type Systems Improve the Maintainability of Software Systems? An Empirical Study University of Duisburg-Essen Essen, Germany [removed] [removed]

Add to Reading List

Source URL: pleiad.dcc.uchile.cl

Language: English - Date: 2012-05-18 10:26:19
159Lecture 12 Parallelization I.  Basic Parallelization II.  Data dependence analysis III.  Interprocedural parallelization

Lecture 12 Parallelization I.  Basic Parallelization II.  Data dependence analysis III.  Interprocedural parallelization

Add to Reading List

Source URL: suif.stanford.edu

Language: English - Date: 2015-03-02 13:00:05
160TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia

TAJ: Effective Taint Analysis of Web Applications Omer Tripp IBM Software Group [removed] Marco Pistoia

Add to Reading List

Source URL: manu.sridharan.net

Language: English - Date: 2015-03-03 14:08:09